Bounds on Transport from Univalence and Pole-Skipping
نویسندگان
چکیده
منابع مشابه
Structuralism, Invariance, and Univalence
The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of inform...
متن کاملDecomposing the Univalence Axiom
This paper investigates the univalence axiom in intensional Martin-Löf type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various published and unpublished sources; we then we present a new decomposition of the univalence axiom into simpler axioms. We argue that these axioms are easier to verify...
متن کاملOn Some Sufficient Conditions for Univalence
In this paper the method of subordination chains is used to establish some sufficient conditions for univalence for analytic functions defined in the open unit disk.
متن کاملOn the univalence of an integral operator
Let U = {z ∈ C : |z| < 1} be the unit disk in the complex plane, and let A be the class of functions which are analytic in the unit disk normalized with f (0) = f ′ (0)− 1 = 0. We denote by P the class of the functions p which are analytic in U , p (0) = 1 and Re p (z) > 0, for all z ∈ U . Let S be the subclass of A, consisting of all univalent functions f in U , and we consider S∗ the subclass...
متن کاملBounds for Turbulent Transport
We would like to pursue a mathematical approach to turbulence that is able to predict bulk average quantities of experimental and practical significance. Among such bulk average quantities, the Nusselt number N , the enhanced bulk average heat transfer due to convection, is perhaps the simplest physical objective of rigorous mathematical study of turbulence. The question we wish to address here...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review Letters
سال: 2021
ISSN: 0031-9007,1079-7114
DOI: 10.1103/physrevlett.126.051601